#!/bin/bash

echo "Gerando Saida"
./Maude/maude-linux64/maude.linux64 PetriNetSplit.maude > Debug/PetriNetSplit.saida
cat Debug/PetriNetSplit.saida | python scripts/parser.py > PetriNetSplit.resultado
echo "Saida Gerada!"
